- трансфинитная рекурсия
- трансфіні́тна реку́рсія
Русско-украинский политехнический словарь. 2013.
Русско-украинский политехнический словарь. 2013.
ТРАНСФИНИТНАЯ РЕКУРСИЯ — метод определения функций, заданных на ординалах (см. Порядковое число )или вообще на множествах, наделенных ординальной структурой. Определяющее уравнение Т. р. имеет вид где есть лкусок … Математическая энциклопедия
РЕКУРСИЯ — способ определения функций, являющийся объектом изучения в теории алгоритмов и других разделах математич. логики. Этот способ давно применяется в арифметике для определения числовых последовательностей (прогрессии, чисел Фибоначчи и пр.).… … Математическая энциклопедия
РЕКУРСИВНОЕ ОПРЕДЕЛЕНИЕ — часто применяемый в математике способ задания функций, при к ром значение искомой функции в данной точке определяется через ее значения в предшествующих точках (при подходящем отношении предшествования). Р. о. теоретико числовых функций являются… … Математическая энциклопедия
Список статей по математической логике — Это служебный список статей, созданный для координации работ по развитию темы. Данное предупреждение не ус … Википедия